All right, so let's start, Professor, right now recording.

Yes, I got sick today so I take over today's session actually spontaneously.

And he said that we should do fragment four basically in glyph. So as far as I know you prepared that on Thursday already in the lecture, which means that you have talked a bit about what the fragment is, what sentences you want to support and how we do that in logic as a sketch.

And today we try to do the things in practice.

Okay.

I'm forgetting about anything I should be doing.

Which is very unplanned. All right, so I've prepared a bit of a grammar for fragment four, a mini grammar, which doesn't have everything but just a few things to get us started without making it too big.

So we have sentences, phrases, phrases, at this point, now.

So, so on.

Terminus.

We can make a sentence with a noun phrase and a verb phrase we can make a noun phrase by combining the terminal and every and the noun.

A common noun phrase like feature into noun phrase so that whole thing is a mini concrete syntax gives us these kinds of sentences.

And you can extend the grammar a bit of once we've managed this.

And yeah, we want to do the whole fragment thing now in glyph.

Yes, and let's start to do this actively right away.

What's going to be the next step if we want to do the work with this fragment was our next thing we need to do.

Yes.

Not the grammar let's stick to this mini grammar and continue and work with that for now.

Yes, exactly.

So I've copied over.

Prop log, which we had before.

The standard stuff.

As a starting point.

What else do we need. Sorry, can you share the mini grammar as well.

You mean the screen right. Yes, yes.

I think like this sorry about that.

Thank you.

But so it's nothing.

Nothing really interesting very simple sentence every teacher.

Run. I made a mistake here.

Quickly.

All right.

And I'm going to make it big. Okay, so we have our logic here.

Now,

if we want to have every teacher runs.

Good here.

Every teacher.

Run.

Very good today.

What's better.

But what do we want in pregnant.

You remember.

Yes.

Quite actually.

Yes, yes.

What up each.

And in this case, we need an implication.

Otherwise we would say everything is a teacher

and everything runs, not everything is a teacher.

So only those who are teachers also do the running.